185 research outputs found

    Axiomatizing iteration categories

    Get PDF

    Loop products and loop-free products

    Get PDF

    On αλ1-products of automata

    Get PDF

    Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators

    Get PDF
    We associate a modal operator with each language belonging to a given class of regular languages and use the (reverse) wreath product of monoids with distinguished generators to characterize the expressive power of the resulting logic
    • …
    corecore